Caicedo, Xavier: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

XV LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (SLALM 2012)

THE ASSOCIATION FOR SYMBOLIC LOGIC, Xavier Caicedo and Alexander Berenstein

Journal:

Bulletin of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 2.17 MB

english, 2013

2

Definition of a new thermal contrast and pulse correction for defect quantification in pulsed thermography

Hernán D. Benítez, Clemente Ibarra-Castanedo, AbdelHakim Bendada, Xavier Maldague, Humberto Loaiza, Eduardo Caicedo

Journal:

Infrared Physics & Technology

Year:

2008

Language:

english

File:

PDF, 355 KB

english, 2008

3

Algebra and Probability in Many-Valued Reasoning || Standard Gödel Modal Logics

Xavier Caicedo and Ricardo O. Rodriguez

Journal:

Year:

2010

Language:

english

File:

PDF, 1.69 MB

english, 2010

4

Definability properties and the congruence closure

Journal:

Archive for Mathematical Logic

Year:

1990

Language:

english

File:

PDF, 578 KB

english, 1990

5

Definability and automorphisms in abstract logics

Journal:

Archive for Mathematical Logic

Year:

2004

Language:

english

File:

PDF, 160 KB

english, 2004

6

Implicit connectives of algebraizable logics

Journal:

Year:

2004

Language:

english

File:

PDF, 269 KB

english, 2004

7

Standard Gödel Modal Logics

Xavier Caicedo, Ricardo O. Rodriguez

Journal:

Year:

2010

Language:

english

File:

PDF, 347 KB

english, 2010

8

Defect characterization in infrared non-destructive testing with learning machines

Hernán D. Benítez, Humberto Loaiza, Eduardo Caicedo, Clemente Ibarra-Castanedo, AbdelHakim Bendada, Xavier Maldague

Journal:

NDT & E International

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

9

Subdirect Decomposition ofn-Chromatic Graphs

Journal:

Journal of Algebraic Combinatorics

Year:

1998

Language:

english

File:

PDF, 170 KB

english, 1998

10

Omitting uncountable types and the strength of -valued logics

Caicedo, Xavier, Iovino, José N.

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 488 KB

english, 2014

11

An Algebraic Approach to Intuitionistic Connectives

Xavier Caicedo and Roberto Cignoli

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 386 KB

english, 2001

12

Meeting of the Association for Symbolic Logic

Caicedo, Xavier, Chuaqui, Rolando, Da Costa, Newton C. A., Di Prisco, Carlos A.

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 860 KB

english, 1984

13

A Simple Solution to Friedman's Fourth Problem

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 471 KB

english, 1986

14

Algebraic Theory of Quasivarieties || Implicit Connectives of Algebraizable Logics

Journal:

Year:

2004

Language:

english

File:

PDF, 1.61 MB

english, 2004

15

[Studies in Logic and the Foundations of Mathematics] Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic Volume 99 || Back-and-Forth Systems for Arbitrary Quantifiers

Caicedo, Xavier

Year:

1980

Language:

english

File:

PDF, 923 KB

english, 1980

16

On extensions of $L_{\omega \omega }(Q_1)$.

Caicedo, Xavier

Journal:

Notre Dame Journal of Formal Logic

Year:

1981

Language:

english

File:

PDF, 976 KB

english, 1981

17

The subdirect decomposition theorem for classes of structures closed under direct limits

Caicedo, Xavier

Journal:

Journal of the Australian Mathematical Society

Year:

1980

File:

PDF, 417 KB

1980

18

Compactness and normality in abstract logics

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 765 KB

english, 1993

19

About ‘measurement result’ and ‘measured value’

Xavier Fuentes-Arderiu, Aída Porras-Caicedo

Journal:

Accreditation and Quality Assurance

Year:

2011

Language:

english

File:

PDF, 85 KB

english, 2011

20

[IEEE 2006 Canadian Conference on Electrical and Computer Engineering - Ottawa, ON, Canada (2006.05.7-2006.05.10)] 2006 Canadian Conference on Electrical and Computer Engineering - Modified Differential Absolute Contrast using Thermal Quadrupoles for the Nondestructive Testing of Finite Thickness Specimens by Infrared Thermography

Benitez, Hernan, Maldague, Xavier, Ibarra-Castanedo, Clemente, Loaiza, Humberto, Bendada, Abdelhakim, Caicedo, Eduardo

Year:

2006

Language:

english

File:

PDF, 187 KB

english, 2006

21

Meeting of the Association for Symbolic Logic, Bogotá, Colombia, 1981

Arruda, Ayda I., Caicedo, Xavier, Chuaqui, Rolando, da Costa, Newton C.A.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 735 KB

english, 1983

22

SPIE Proceedings [SPIE Defense and Security Symposium - Orlando, Florida, USA (Monday 9 April 2007)] Thermosense XXIX - Defect quantification with reference-free thermal contrast and artificial neural networks

Benitez, Hernan D., Ibarra-Castanedo, Clemente, Bendada, AbdelHakim, Maldague, Xavier, Loaiza, Humberto, Caicedo, Eduardo

Year:

2007

Language:

english

File:

PDF, 528 KB

english, 2007

23

Decidability of order-based modal logics

Caicedo, Xavier, Metcalfe, George, Rodríguez, Ricardo, Rogger, Jonas

Journal:

Journal of Computer and System Sciences

Year:

2017

Language:

english

File:

PDF, 638 KB

english, 2017

24

[IEEE 2017 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON) - Pucon (2017.10.18-2017.10.20)] 2017 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON) - Distributed system for the monitoring and control of processes

Pruna, Edwin, Mullo, Santiago D., Caicedo, Jhonathan A., Zambrano, Xavier, Escobar, Ivon, Gordon, Andres, Constante, Patricia

Year:

2017

File:

PDF, 1.05 MB

2017

25

Bipolar “table with legs” resistive switching in epitaxial perovskite heterostructures

Bagdzevicius, Sarunas, Boudard, Michel, Caicedo, José Manuel, Mescot, Xavier, Rodríguez-Lamas, Raquel, Santiso, José, Burriel, Mónica

Journal:

Solid State Ionics

Year:

2019

File:

PDF, 1.95 MB

2019

26

Bipolar “table with legs” resistive switching in epitaxial perovskite heterostructures

Bagdzevicius, Sarunas, Boudard, Michel, Caicedo, José Manuel, Mescot, Xavier, Rodríguez-Lamas, Raquel, Santiso, José, Burriel, Mónica

Journal:

Solid State Ionics

Year:

2019

Language:

english

File:

PDF, 1.95 MB

english, 2019

27

The subdirect decomposition theorem for classes of structures closed under direct limits

Caicedo, Xavier

Journal:

Journal of the Australian Mathematical Society

Year:

1980

Language:

english

File:

PDF, 417 KB

english, 1980

28

On extensions of $L_{\omega \omega }(Q_1)$.

Caicedo, Xavier

Journal:

Notre Dame Journal of Formal Logic

Year:

1981

File:

PDF, 976 KB

1981

29

Cacao breeding in Colombia, past, present and future

Rodriguez-Medina, Caren, Caicedo Arana, Alvaro, Sounigo, Olivier, Argout, Xavier, Alvarado, Gabriel Alvarado, Yockteng, Roxana

Journal:

Breeding Science

Year:

2019

Language:

english

File:

PDF, 1.77 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски